A proposal for programmer defined variables and operators See original record