I'm using the semantics package to produce inference rules. My inference rules contains quite a lot of \langle and \rangle, so I've made ligatures for these commands as such:
\mathlig{<}{\langle} \mathlig{>}{\rangle} However, now I can't use < in equations to mean "less than", since it is turned into \langle.
