x -> to {roman "maps to"} y