To navigate this directory, open "symbols.html" in your browser. ------- COPYRIGHT DISCLAIMER (PUBLIC DOMAIN) ------- For the purpose of this disclaimer, "this work" refers to exactly and only the contents of the compressed folder "symbols.zip", including all text and images contained therein, in its original form downloaded from the URL "http://us.metamath.org/downloads/symbols.zip". This work was created by Norman Megill, who explicitly disclaims in perpetuity any copyright or other proprietary interest in this work, thereby granting it to the public domain. This means it may be used for any purpose whatsoever, with or without acknowledgement, commercial or non-commercial, including use in a separate or derivative copyrighted work. No warranty of any kind is expressed or implied. Any trademarks mentioned in this work belong to their respective owners and must be treated accordingly in any derivative work.