U.S. federal trademark · Serial No. 74325728
computer program for a mathematical writing language that facilitates the manipulation of mathematical objects in mathematically natural ways
Source: USPTO federal trademark records. Informational only, not legal advice. Status and details may lag the live USPTO database.