. This is a Test This document demonstartes various kinds of links that can be put in a $MATHS document and how they are translated into HTML. An abreviated URL. "//www/" is translated to "//www.csci.csusb.edu". See .See Note to porters below. .As_is .See http://www/dick .See http://www/dick An abreviated URL. "//web/" is translated to "//ftp.csci.csusb.edu/public/faculty/dick". See .See Note to porters below. .As_is .See http://web/forExample .See http://web/forExample A relative URL. These normally will refer to a file on the same the same host as this page. .As_is .See http:/dick/samples/c++.html .See http:/dick/samples/c++.html A URL relative to the current page. These must explicitly indicate that they are in the same or parent directory .As_is .See ./tester.html .See ./tester.html or even .As_is .See ../foo/bah/mumble.html .See ../foo/bah/mumble.html will be recognized as not being internal cross refs. . Internal Cross-refferrences Internal cross-references become relative links to names in a file with the same name. For example, a dollar sign indicates the use of a defined term or label elsewhere. For example the sentence (above) .As_is in a $MATHS document contains a link to the definition of $MATHS below. Here is a link to a label of a formula in this document: .As_is .See label .See label and a link to a section in this document. .As_is .See This is a Test .See This is a Test . Sample Formulae (label): quoted formula. A blatent assertion: |-(asserted): 1+1 = 1. (asserted)|-(consequence): I am the Pope. . Sample Remote Definition MATHS::=http://www/dick/maths/. . Proof of consequence See world famous lecture by Berty Russell about the properties of implication: a false proposition can imply any proposition. . Note to Porters If you port the prototype mth2html script .See http://www/dick/tools/mth2html then you should change the definitions of WWWHOST and WEBHOST to fit your own environment.