https://pdkb.chivanet.org/wiki/index.php?action=history&feed=atom&title=User%3ADavidWhitten%2Fmso
User:DavidWhitten/mso - Revision history
2026-05-05T08:52:15Z
Revision history for this page on the wiki
MediaWiki 1.29.1
https://pdkb.chivanet.org/wiki/index.php?title=User:DavidWhitten/mso&diff=1394&oldid=prev
DavidWhitten: /* Basic logic symbols */
2021-02-01T15:46:06Z
<p><span dir="auto"><span class="autocomment">Basic logic symbols</span></span></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr style='vertical-align: top;' lang='en'>
<td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 15:46, 1 February 2021</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l23" >Line 23:</td>
<td colspan="2" class="diff-lineno">Line 23:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |&amp;#8658;<br /><br />&amp;#8594;<br /><br />&amp;#8835;</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |&amp;#8658;<br /><br />&amp;#8594;<br /><br />&amp;#8835;</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |&amp;rArr;<br /><br />&amp;rarr;<br /><br />&amp;sup;</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |&amp;rArr;<br /><br />&amp;rarr;<br /><br />&amp;sup;</div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |<div><math>\Rightarrow</math>\Rightarrow<br /><math>\to</math>\to or \rightarrow<br /><math>\supset</math>\supset<br /><math>\implies</math>\implies</div></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>| style="text-align:left;font-family:monospace" |<div><math>\Rightarrow</math>\Rightarrow<br /> <math>\to</math>\to or \rightarrow<br /><math>\supset</math>\supset<br /><math>\implies</math>\implies</div></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">| </ins></div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>|-</div></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⇔<br />≡<br />↔</div></div></td><td class='diff-marker'> </td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>| bgcolor="#d0f0d0" align="center" |<div style="font-size:200%;">⇔<br />≡<br />↔</div></div></td></tr>
</table>
DavidWhitten
https://pdkb.chivanet.org/wiki/index.php?title=User:DavidWhitten/mso&diff=1393&oldid=prev
DavidWhitten: /* Minimum Standard Ontology */
2021-02-01T15:42:59Z
<p><span dir="auto"><span class="autocomment">Minimum Standard Ontology</span></span></p>
<a href="https://pdkb.chivanet.org/wiki/index.php?title=User:DavidWhitten/mso&diff=1393&oldid=1392">Show changes</a>
DavidWhitten
https://pdkb.chivanet.org/wiki/index.php?title=User:DavidWhitten/mso&diff=1392&oldid=prev
DavidWhitten: Created page with "= Minimum Standard Ontology = {| |+ | connective |+ | 16 LOGICAL OPERATORS<br> |+ | |}"
2021-02-01T15:39:32Z
<p>Created page with "= Minimum Standard Ontology = {| |+ | connective |+ | 16 LOGICAL OPERATORS<br> |+ | |}"</p>
<p><b>New page</b></p><div>= Minimum Standard Ontology =<br />
<br />
<br />
{|<br />
|+ <br />
| connective <br />
|+ <br />
| 16 LOGICAL OPERATORS<br><br />
|+ <br />
| <br />
|}</div>
DavidWhitten