Open pkra opened 10 months ago
I saw that 3c236cb maps widebar to bar. A stretchy alternative would be overline or we could add such a mapping somewhere downstream.
I saw that 3c236cb maps widebar to bar. A stretchy alternative would be overline or we could add such a mapping somewhere downstream.