∀ ∃ ¬ non ∧ ⇒ ⇔ ∨ . :: :: . is ... { } of of the the ( ) let Th = thm ` oo: http://omdoc.org/ontology# owl: http://www.w3.org/2002/07/owl# text/css div { padding: 0 0 0 0; margin: 0 0 0 0; } div.add { padding-left: 3mm; padding-bottom: 0mm; margin: 0 0 0 0; } div.box { border-width:thin; border-color:blue; border-style:solid; } p { margin: 0 0 0 0; } body {font-family: monospace; margin: 0px;} a {text-decoration:none} a:hover { color: red; } a.ref { font-size:x-small; } a.ref:link { color:green; } a.ref:hover { color: red; } a.txt:link { color:black; } a.txt:hover { color: red; } .wikiactions ul { background-color: DarkSeaGreen ; color:blue; margin: 0; padding: 6px; list-style-type: none; border-bottom: 1px solid #000; } .wikiactions li { display: inline; padding: .2em .4em; } .wikiactions a {text-decoration:underline;} span.kw {font-weight: bold; } span.lab {font-style: italic; } span.comment {font-style: italic; } span.hide { display: none; } span.p1:hover { color : inherit; background-color : #BAFFFF; } span.p2:hover { color : inherit; background-color : #FFCACA; } span.p3:hover { color : inherit; background-color : #FFFFBA; } span.p4:hover { color : inherit; background-color : #CACAFF; } span.p5:hover { color : inherit; background-color : #CAFFCA; } span.p0:hover { color : inherit; background-color : #FFBAFF; } .default { background-color: white; color: black; } .default:hover { background-color: white; color: black; } #tt { position:absolute; display:block; font-size: small; background: LightYellow; padding:2px 12px 3px 7px; margin-left:5px;} :target { background: #5D9BF7; border: solid 1px #aaa;} : text/javascript <!-- // for saving in rs var mizhtm=' '; comment :: WP: