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} ?