4 Mar
2009
4 Mar
'09
12:31 a.m.
On Tue, 3 Mar 2009, Brandon S. Allbery KF8NH wrote:
On 2009 Mar 2, at 23:13, Andrew Hunter wrote:
a) Hide Prelude.(<) and define a simple < that builds the AST term I want. b) Come up with a new symbol for it that doesn't look totally awful.
I guess aesthetics differ; I'd use e.g. $<$, where the $ (to me, from other contexts) means "symbolic".
... like escaping '<' in LaTeX. Funny!