Whyte notation
The Whyte notation for classifying steam locomotives by wheel arrangement was devised by Frederick Methvan Whyte, and came into use in the early twentieth century following a December 1900 editorial in "American Engineer and Railroad Journal". The notation counts the number of leading wheels, then the number of driving wheels, and finally the number of trailing wheels, groups of numbers being separated by dashes. Other classification schemes, like UIC classification and the French, Turkish and Swiss systems for steam locomotives, count axles rather than wheels.
Quasi-quotation
Quasi-quotation or Quine quotation is a linguistic device in formal languages that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use–mention distinction. It was introduced by the philosopher and logician Willard van Orman Quine in his book "Mathematical Logic", originally published in 1940. Put simply, quasi-quotation enables one to introduce symbols that "stand for" a linguistic expression in a given instance and are "used as" that linguistic expression in a different instance.