pub fn lookup_mathcode(key: &str) -> Option<u16>
like lookup_catcode but targets Mathcode and its table
lookup_catcode