article {
  margin: 1em;
}

preamble:before {
  display: block;
  color: #770000;
  font-style: italic;
  font-size: 0.75em;
  content: "Notice: This is a development-level crude formatting of the raw XML version of a GELLMU article using a CSS sheet that is still under construction (hence, incomplete).  The CSS sheet is aiding presentation of an intermediate stage of the document that may be missing some pieces of information such as, for example, section numbers.  For a better presentation consult the HTML, DVI, or PDF version.  If math is involved, the best online version will likely be the XHTML version.";
}

preamble {
  display: block;
  color: #000033;
  font-family: sans-serif;
  font-size: 1em;
  margin: 1em 1em 1em 1em;
}

body {
  display: block;
  color: #000033;
  font-family: sans-serif;
  font-size: 1em;
  margin: 1em 1em 1em 1em;
}

abbr {
  display: inline;
}

address {
  display: block;
  margin: 1em auto 1em auto;
  text-align: center;
}

addr {
  display: block;
  margin-top: 2em;
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom: 2em;
}

aln {
  display: list-item;
  white-space: nowrap;
}

anchref:before {
  content: " [";
}

anchref {
  display: inline;
  color: blue;
}

anchref:after {
  content: "] ";
}

urlanch {
  display: inline;
  color: blue;
}

anchv {
  display: inline;
  background-color: #ccccff;
  font-style: italic;
}

assthead {
  display: list-item;
  margin-top: 0.1em;
  list-style-type: none;
}

asstkey {
  display: none;
}

asstser {
  display: none;
}

asstname {
  display: inline;
  font-weight: bold;
  background-color: #ffcccc;
}

asstid {
  background-color: #ffcccc;
}

asstbody {
  display: list-item;
  background-color: #ffffcc;
}

thebibliography {
  margin-top: 1em;
}

thebibliography:before {
  display: block;
  margin: 1em auto 1em auto;
  font-size: 150%;
  font-weight: bold;
  text-align: center;
  content: "References"
}

bibentry {
  display: list-item;
  margin: 0.5em;
}

bibkey {
  display: none;
}

footnote:before {
  display: inline;
  font-size: 10pt;
  content: " [";
}

footnote:after {
  display: inline;
  font-size: 10pt;
  content: "] ";
}

footnote {
  display: inline;
  font-size: 10pt;
  font-weight: normal;
}

latexcommand {
  display: none;
}

date {
  display: inline;
}

today:before {
  content: "[today]";
}

emph {
  display: inline;
  font-style: italic;
}

Emph {
  display: inline;
  font-family: oblique;
}

slnt {
  display: inline;
  font-style: italic;
}

bold {
  display: inline;
  font-weight: bold;
}

quostr {
  display: inline;
  font-family: monospace;
}

quophrase:before {
  display: inline;
  content: "\201C";
}

quophrase:after {
  display: inline;
  content: "\201D";
}

squophrase:before {
  display: inline;
  content: "\2018";
}

squophrase:after {
  display: inline;
  content: "\2019";
}

eaddr {
  display: inline;
  font-family: monospace;
}

email {
  display: block;
  margin: 0.7em auto 0.7em auto;
  text-align: center;
  font-family: monospace;
}

qquostr {
  display: inline;
  font-family: monospace;
}

qquostr:before {
  display: inline;
  font-family: monospace;
  content: '"';
}

qquostr:after {
  display: inline;
  font-family: monospace;
  content: '"';
}

quochar {
  display: inline;
  font-family: monospace;
}

quochar:before {
  display: inline;
  font-family: monospace;
  content: "`";
}

quochar:after {
  display: inline;
  font-family: monospace;
  content: "'";
}

item {
  display: list-item;
  margin: 1ex 0 1ex 0;
}

ditem {
  display: list-item;
  margin: 1ex 0 1ex 0;
}

itemlabel:after {
  content: " ";
}

description {
  margin: 1ex 0 1ex 1em;
}

description > item > itemlabel {
  font-weight: bold;
}

enumerate {
  display: block;
  list-style-type: none;
  counter-reset:enumeratei;
  margin: 1ex 0 1ex 1em;
}

enumerate > item:before {
  counter-increment: enumeratei 1;
  content: counter(enumeratei, decimal) ".  ";
}

enumerate > item {
  display: list-item;
  margin: 1ex 0 1ex 0;
}

enumerate > item > itembody > enumerate {
  display: block;
  list-style-type: none;
  counter-reset: enumerateii;
  margin: 1ex 0 1ex 1em;
}

enumerate > item > itembody > enumerate > item:before {
  counter-increment: enumerateii 1;
  content: counter(enumerateii, lower-alpha) ". ";
}

enumerate > item > itembody > enumerate > item {
  display: list-item;
  margin: 1ex 0 ex 0;
}

menu {
  display: block;
  list-style-type: none;
  margin: 1ex 0 1ex 1em;
}

Menu {
  display: block;
  list-style-type: none;
  margin: 1ex 0 1ex 1em;
}

Menu > item:before {
  display: none;
}

Menu > item {
  display: list-item;
  margin: 1.5ex 0 1.5ex 0;
}

itemize {
  display: block;
  list-style-type: disc;
  margin: 1ex 0 1ex 1em;
}

itemize > itemize {
  display: block;
  list-style-type: square;
  margin: 1ex 0 1ex 0;
}

itemize > item:before {
  content: attr(n);
}

defnlist {
  display: block;
  list-style-type: none;
  margin-left: 1em;
  margin-top: 1em;
  margin-bottom: 1em;
}

term {
  display: list-item;
  font-family: sans-serif;
  color: blue;
  margin: 1ex 0 1ex 0;
}

desc {
  display: list-item;
  margin: 1ex 0 1ex 0;
}

label {
  display: inline;
  background-color: #ffccff;
}

label:before {
  content: "(id: ";
}

label:after {
  content: ")   ";
}

pageref:before {
  content: "(";
}

pageref:after {
  content: ")  ";
}

mathsym {
  display: none;
}

par {
  display: block;
  text-align: left;
  margin-bottom: 0.5em;
}

parb {
  display: block;
  margin-bottom: 0.5em;
}

table {
  text-align: center;
  display: table;
  margin-left: 2em;
  margin-right: 2em;
}

verbatim {
  display: block;
  background-color: #d0d0d0;
  margin-top: 1em;
  margin-bottom: 1em;
  text-align: left;
  white-space: pre;
}

verblist {
  display: block;
  font-family: monospace;
  background-color: #e0e0e0;
  margin: 1em;
}

nln {
  display: block;
  text-align: left;
  white-space: nowrap;
}  

verb {
  display: inline;
  font-family: monospace;
  white-space: nowrap;
}

secnumdepth {
  display: none;
}

base {
  display: none;
}

baseloc {
  display: block;
  color: blue;
  text-align: right;
  font-weight: bold;
  margin-bottom: 0.5em;
}

surtitle:before {
  font-weight: normal;
  color: #770000;
  content: "Surtitle: "
}

surtitle {
  display: block;
  color: green;
  text-align: left;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
}

title {
  display: block;
  color: #000066;
  font-size: 2em;
  font-weight: bold;
  text-align: center;
  margin-top: 5%;
  margin-bottom: 5%;
}

subtitle {
  display: block;
  color: #000066;
  font-size: 1.3em;
  font-weight: bold;
  text-align: center;
  margin-bottom: 1em;
}

TableOfContents:before {
  display: block;
  font-size: 150%;
  font-weight: bold;
  text-align: center;
  margin-top: 1em;
  margin-bottom: 1em;
  margin-left: auto;
  margin-right: auto;
  content: "Table of Contents";
}

TableOfContents {
  display: block;
  margin-left: 3em;
  margin-bottom: 2ex;
}

tocitem {
  display: list-item;
  list-style-type: none;
}

tocunit {
  display: inline;
}

tocunit:after {
  content: ".  ";
}

author {
  display: block;
  color: #000066;
  font-size: 1.7em;
  font-weight: bold;
  text-align: center;
  margin-bottom: 1em;
}

date {
  display: block;
  color: #000066;
  font-size: 1.2em;
  font-weight: bold;
  text-align: center;
  margin-bottom: 1em;
}

draftlabel {
    margin: 1em auto 1em auto;
}

draftlabel:before {
  display: block;
  font-size: 100%;
  font-weight: bold;
  font-family: monospace;
  text-align: center;
  content: "D R A F T";
}

copyright:before {
  display: inline;
  content: "\0000A9";
}

copynotice {
  display: block;
  font-size: 1em;
  margin: 1em auto 1em auto;
  text-align: center;
}

keywords {
  display: block;
  font-size: 1em;
  margin: 1em auto 1em auto;
  text-align: center;
}

abstract:before {
  display: block;
  font-size: 150%;
  font-weight: bold;
  text-align: center;
  content: "Abstract";
}

abstract {
  display: block;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 10%;
  margin-right: 10%;
}

sunit:after {
  content: ".  "
}

section, Section > prefix, Section > shead, Section > sunit {
  display: block;
  color: #000050;
  font-size: 1.3em;
  font-weight: bold;
  text-align: left;
  margin-top: 1.5em;
  margin-bottom: 0.5em;
}

subsection, Subsection > prefix, Subsection > shead, Subsection > sunit {
  display: block;
  color: #000050;
  font-size: 1.2em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subsubsection, Subsubsection > prefix, Subsubsection > shead, Subsubsection > sunit {
  display: block;
  color: #000050;
  font-size: 1em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

hdr {
  display: block;
  font-size: 150%;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subhdr {
  display: block;
  font-size: 135%;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subsubhdr {
  display: block;
  font-size: 1.1em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subsubsubhdr {
  display: block;
  font-size: 1em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

suphdr {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

supsuphdr {
  display: block;
  font-size: 2em;
  font-weight: bold;
  text-align: left;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

hdrc {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subhdrc {
  display: block;
  font-size: 1.3em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subsubhdrc {
  display: block;
  font-size: 1.2em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

subsubsubhdrc {
  display: block;
  font-size: 1em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

suphdrc {
  display: block;
  font-size: 1.5em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

supsuphdrc {
  display: block;
  font-size: 2em;
  font-weight: bold;
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

brk {
  display: block;
  clear: both;
}

bsl:before {
  display: inline;
  content: "\\";
}

eoq:before {
  display: inline;
  content: "?";
}

eoe:before {
  display: inline;
  content: "!";
}

per:before {
  display: inline;
  content: ".";
}

lbr:before {
  display: inline;
  content: "\{";
}

rbr:before {
  display: inline;
  content: "\}";
}

lsb:before {
  display: inline;
  content: "[";
}

rsb:before {
  display: inline;
  content: "]";
}

quo:before {
  display: inline;
  content: '"';
}

hsh:before {
  display: inline;
  content: "#";
}

cln:before {
  display: inline;
  content: ":";
}

sol:before {
  display: inline;
  content: "/";
}

scl:before {
  display: inline;
  content: ";";
}

qum:before {
  display: inline;
  content: "?";
}

tld:before {
  display: inline;
  content: "~";
}

eqc:before {
  display: inline;
  content: "=";
}

exc:before {
  display: inline;
  content: "!";
}

dol:before {
  display: inline;
  content: "$";
}

pct:before {
  display: inline;
  content: "%";
}

amp:before {
  display: inline;
  content: "&";
}

crt:before {
  display: inline;
  content: "^";
}

ast:before {
  display: inline;
  content: "*";
}

eqs:before {
  display: inline;
  content: "=";
}

vbr:before {
  display: inline;
  content: "|";
}

lpr:before {
  display: inline;
  content: "(";
}

rpr:before {
  display: inline;
  content: ")";
}

ltc:before {
  display: inline;
  content: "<";
}

gtc:before {
  display: inline;
  content: ">";
}

apos:before {
  display: inline;
  content: "'";
}

leq:before {
  display: inline;
  content: "\2264";
}

geq:before {
  display: inline;
  content: "\2265";
}

/*
<!ENTITY % charaa "exc|atc|hsh|dol|pct|crt|amp|ast|lbr|rbr|bsl|quo">
<!ENTITY % charab "eqs|eqc|hyp|plu|sol|spc|lsb|rsb|und|vbr|tld">
<!ENTITY % charac "lpr|rpr|ltc|gtc|cln|scl|per|cma|qum|hsp|Hsp|apos">
<!ENTITY % chara "%charaa|%charab|%charac|%cmts">
*/

equals:before {
  display: inline;
  content: " = ";
}

atc:before {
  display: inline;
  content: "@";
}

hyp:before {
  display: inline;
  content: "-";
}

hy0:before {
  display: inline;
  content: "\00AD";
}

und:before {
  display: inline;
  content: "_";
}

rdash:before {
  display: inline;
  content: " - ";
}

pdash:before {
  display: inline;
  content: " -- ";
}

plu:before {
  display: inline;
  content: " + ";
}

plus:before {
  display: inline;
  content: " + ";
}

minus:before {
  display: inline;
  content: " \2212 ";
}

quotient:before {
  display: inline;
  content: "/";
}

times:before {
  display: inline;
  font-family: monospace;
  content: "X";
}

cup:before {
  display: inline;
  content: "\222A";
}

cap:before {
  display: inline;
  content: "\2229";
}

oplus:before {
  display: inline;
  content: "\2295";
}

otimes:before {
  display: inline;
  content: "\2297";
}

ominus:before {
  display: inline;
  content: "\2296";
}

infty:before {
  display: inline;
  content: "\221E";
}

sup {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}

sup1 {
  vertical-align: super;
}

sub {
  display: inline;
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

sub1 {
  vertical-align: sub;
}

msup1:before {
  display: inline;
  content: "^\{";
}

msup1:after {
  display: inline;
  content: "\}";
}

msup {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}

sum, int, prod msup {
  font-size: 100%;
}

msub1:before {
  display: inline;
  content: "_\{";
}

msub1:after {
  display: inline;
  content: "\}";
}

msub {
  display: inline;
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

pow1:before {
  display: inline;
  content: "^\{";
}

pow1:after {
  display: inline;
  content: "\}";
}

pow {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}

sqrt:before {
  display: inline;
  font-weight: bold;
  content: " sqrt\{";
}

sqrt:after {
  display: inline;
  font-weight: bold;
  content: "\} ";
}

radx:before {
  display: inline;
  content: "^\{";
}

radx:after {
  display: inline;
  content: "\}";
}

radicand:before {
  display: inline;
  content: "\{";
}

radicand:after {
  display: inline;
  content: "\}";
}

sum:before {
  display: inline;
  font-weight: bold;
  content: "\2211";
}

int:before {
  display: inline;
  font-weight: bold;
  content: "\222B";
}

prod:before {
  display: inline;
  font-weight: bold;
  content: "\220F";
}

numr:before {
  display: inline;
  content: "\{";
}

numr:after {
  display: inline;
  content: "\}";
}

denm:before {
  display: inline;
  content: "/\{";
}

denm:after {
  display: inline;
  content: "\}";
}

aos:before {
  display: inline;
  content: ".  ";
}

aoc:before {
  display: inline;
  content: ", ";
}

cma:before {
  display: inline;
  content: ", ";
}

spc:before {
  display: inline;
  content: " ";
}

verblist spc:before {
  content: "\00A0";
}

text spc:before {
  content: "\00A0";
}

hsp {
  display: none;
}

latex:before {
  display: inline;
  content: "LaTeX";
}

tex:before {
  display: inline;
  content: "TeX";
}

cdot:before {
  display: inline;
  content: "\b7";
}

nbs:before {
  display: inline;
  content: "\a0";
}

eos:before {
  display: inline;
  position: relative;
  left: -0.1em;
  content: ".";
}

eos:after {
  display: inline;
  content: "\a0";
}

ldots:before {
  display: inline;
  content: "\2026";
}

alpha:before {
  display: inline;
  content: "\03b1";
}

beta:before {
  display: inline;
  content: "\03b2";
}

chi:before {
  display: inline;
  content: "\03C7";
}

Delta:before {
  display: inline;
  content: "\0394";
}

delta:before {
  display: inline;
  content: "\03B4";
}

epsilon:before {
  display: inline;
  content: "\03B5";
}

varepsilon:before {
  display: inline;
  content: "\025B";
}

Gamma:before {
  display: inline;
  content: "\0393";
}

gamma:before {
  display: inline;
  content: "\03b3";
}

iota:before {
  display: inline;
  content: "\03B9";
}

kappa:before {
  display: inline;
  content: "\03BA";
}

Lambda:before {
  display: inline;
  content: "\039B";
}

lambda:before {
  display: inline;
  content: "\03BB";
}

mu:before {
  display: inline;
  content: "\03BC";
}

nu:before {
  display: inline;
  content: "\03BD";
}

Omega:before {
  display: inline;
  content: "\03A9";
}

omega:before {
  display: inline;
  content: "\03C9";
}

omicron:before {
  display: inline;
  content: "\03BF";
}

Phi:before {
  display: inline;
  content: "\03A6";
}

phi:before {
  display: inline;
  content: "\03D5";
}

varphi:before {
  display: inline;
  content: "\03C6";
}

Pi:before {
  display: inline;
  content: "\03A0";
}

pi:before {
  display: inline;
  content: "\03C0";
}

Psi:before {
  display: inline;
  content: "\03A8";
}

psi:before {
  display: inline;
  content: "\03C8";
}

rho:before {
  display: inline;
  content: "\03C1";
}

Sigma:before {
  display: inline;
  content: "\03A3";
}

sigma:before {
  display: inline;
  content: "\03C3";
}

tau:before {
  display: inline;
  content: "\03C4";
}

Theta:before {
  display: inline;
  content: "\0398";
}

theta:before {
  display: inline;
  content: "\03B8";
}

vartheta:before {
  display: inline;
  content: "\03D1";
}

Upsilon:before {
  display: inline;
  content: "\03A5";
}

upsilon:before {
  display: inline;
  content: "\03C5";
}

Xi:before {
  display: inline;
  content: "\039E";
}

xi:before {
  display: inline;
  content: "\03BE";
}

zeta:before {
  display: inline;
  content: "\03B6";
}

wp:before {
  display: inline;
  content: "\2118";
}

ell:before {
  display: inline;
  content: "\2113";
}

i:before {
  display: inline;
  content: "\0131";
}

j:before {
  display: inline;
  content: "j";
}

display {
  display: block;
  text-align: center;
  width: 80%;
  margin: 1em auto 1em auto;
}

math, tmath {
  display: inline;
}

displaymath, eqnline, eqnrow {
  display: block;
  text-align: center;
  width: 80%;
  margin: 1em auto 1em auto;
}

eqnkey, eqnser {
  display: none;
}

mbox{
  display: inline;
  font-style: normal;
}

regch{
  display: inline;
  font-style: normal;
}

text {
  display: inline;
  font-style: normal;
}

bal:before {
  display: inline-block;
  vertical-align: middle;
  content: " (";
}

bal:after {
  display: inline-block;
  vertical-align: middle;
  content: ") ";
}

balsb:before {
  display: inline;
  content: "[";
}

balsb:after {
  display: inline;
  content: "]";
}

balbr:before {
  display: inline;
  content: "{";
}

balbr:after {
  display: inline;
  content: "}";
}

balab:before {
  display: inline;
  content: "<";
}

balab:after {
  display: inline;
  content: ">";
}

balvbr:before {
  display: inline;
  content: "|";
}

balvbr:after {
  display: inline;
  content: "|";
}

equiv:before {
  display: inline;
  content: " \2261 "
}

cong:before {
  display: inline;
  content: " \2245 "
}

mapsto:before {
  display: inline;
  content: " \21A6 "
}

longmapsto:before {
  display: inline;
  content: "\21A6";
}

leftarrow:before {
  display: inline;
  content: " \2190 "
}

uparrow:before {
  display: inline;
  content: " \2191 "
}

rightarrow:before {
  display: inline;
  content: " \2192 "
}

downarrow:before {
  display: inline;
  content: " \2193 "
}

longleftarrow:before {
  display: inline;
  content: " \2190 "
}

longrightarrow:before {
  display: inline;
  content: " \2192 "
}

nwarrow:before {
  display: inline;
  content: " \2196 "
}

nearrow:before {
  display: inline;
  content: " \2197 "
}

/* searrow and swarrow may be switched in Firefox outside of MathML */

searrow:before {
  display: inline;
  content: " \2198 "
}

/* searrow and swarrow may be switched in Firefox outside of MathML */

swarrow:before {
  display: inline;
  content: " \2199 "
}

iff:before {
  display: inline;
  content: " \21D4 "
}

in:before {
  display: inline;
  content: " \2208 "
}

pm:before {
  display: inline;
  content: " \00B1 "
}

mathcal {
  font-family: "Euclid Math One";
  color: blue;
}

mathfrak {
  font-family: "Euclid Fraktur";
  color: green;
}

mathbb {
  font-family: "Euclid Math Two";
  color: red;
}

Cd0 {
  display: inline;
  position: relative;
  right: +0.2em;
  left: +0.1em;
}

lbalbr:before {
  content: "\{";
}

rbalbr:after {
  content: "\}";
}

array {
  display: inline-table;
  vertical-align: middle;
}

arrcols {
  display: none;
}

arrayrow {
  display: table-row;
}

firstacell {
  display: table-cell;
}

arraycell {
  display: table-cell;
}

table, tableb, tablec, tablech {
  display: table;
  margin: 1em;
}

tabarg, tabharg {
  display: none;
}

tabular {
  display: table;
}

taburow {
  display: table-row;
}

tr {
  display: table-row;
}

firstcell {
  display: table-cell;
}

tabucell {
  display: table-cell;
}

tabampcell {
  display: table-cell;
}

td {
  display: table-cell;
}

tdp {
  display: table-cell;
}

tdr {
  display: table-cell;
}

langle:before {
  display: inline;
  content: "\2329";
}

rangle:before {
  display: inline;
  content: "\232A";
}

pmod:before {
  content: " (mod ";
}

pmod:after {
  content: ") ";
}

bmod:before {
  content: " mod ";
}

ldq:before {
  content: "\201C";
}

rdq:after {
  content: "\201D";
}

lsq:before {
  content: "\2018";
}

rsq:after {
  content: "\2019";
}

nabla:before {
  content: "\2207";
}

uright {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}

lright {
  display: inline;
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

uleft {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}

lleft {
  display: inline;
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

quad:before {
  content: " \00A0\00A0";
}

quad:after {
  content: "\00A0\00A0 ";
}

abuts:before {
  content: " \21D2 ";
}

prime:before {
  content: "\2032";
}

backprime:before {
  content: "\2035";
}

sprime:before {
  content: "\2032";
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

dprime:before {
  content: "\2033";
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

tprime:before {
  content: "\2034";
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

qprime:before {
  content: "\2057";
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

bprime:before {
  content: "\2035";
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

emptyset:before {
  content: "\00D8";
}

reg:before {
  content: "\00AE";
}

trade:before {
  content: "\2122";
}

dag:before {
  content: "\2020";
}

ddag:before {
  content: "\2021";
}

backslash:before {
  content: "\005C";
}

lessdot:before {
  content: "\22D6";
}

gtrdot:before {
  content: "\22D7";
}

setminus:before {
  content: "\2216";
}

absval:before {
  content: "|";
}

absval:after {
  content: "|";
}

norm:before {
  content: "||";
}

norm:after {
  content: "||";
}

aF {
  display: none;
}

icomma {
  display: none;
}

itimes {
  display: none;
}

lower {
  display: inline;
  font-size: 0.7em;
  position: relative;
  bottom: -1ex;
}

upper {
  display: inline;
  font-size: 0.7em;
  position: relative;
  top: -1ex;
}