Richard O'Keefe schrieb:
> I'd prefer to see something like
> \ 1 -> f
> | 2 -> g
> but I'm sure something could be worked out.
In order to be consistent with current case, maybe in layout mode:
\1 -> f
2 -> g
and in non-layout mode
\{1 -> f; 2 -> g}
?