Hi Anders, Anders Johansson <mejlaande...@gmail.com> writes:
> Maybe these aliases could also be added, like what is done for e.g. "clubs": > > ("langle" "\\langle" t "⟨" "<" "<" "⟨") > ("rangle" "\\rangle" t "⟩" ">" ">" "⟩") Indeed, done in master, thanks for this idea. -- Bastien