I would like to type a function which replaces x with union of 10 or 20
input union \'1-x-1-x\' | \'2-x-2-x\'
\'1-x-1-x\' | \'2-x-2-x\'
x union \'10\' | \'20\'
\'10\' | \'20\'