Standard Unicode symbols for logic operations












1












$begingroup$


There are these logic gates symbols, but I am looking for the more low-level math-like symbols such as those found here, but for all the logic operations. There doesn't seem to be a central place for them, but these seem close.



I would like to know if from your perspective those are the standard symbols, or if there are others.



AND ∧
OR ∨
XOR ⊻
XNOR ↔
NAND ↑
NOR ↓
NOT ¬


These are the only two that seem standard:



AND ∧
OR ∨


I'm not sure about the other ones, if there is a preferred set of symbols, or ones that are used most often in papers and the like.










share|cite|improve this question









$endgroup$












  • $begingroup$
    They are all standard, and easily invoked in $LaTeX$.
    $endgroup$
    – David G. Stork
    Jan 11 at 6:19










  • $begingroup$
    The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
    $endgroup$
    – DanielV
    Jan 11 at 13:07










  • $begingroup$
    Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
    $endgroup$
    – Deusovi
    Jan 11 at 17:59












  • $begingroup$
    The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
    $endgroup$
    – Rob Arthan
    Jan 14 at 16:34
















1












$begingroup$


There are these logic gates symbols, but I am looking for the more low-level math-like symbols such as those found here, but for all the logic operations. There doesn't seem to be a central place for them, but these seem close.



I would like to know if from your perspective those are the standard symbols, or if there are others.



AND ∧
OR ∨
XOR ⊻
XNOR ↔
NAND ↑
NOR ↓
NOT ¬


These are the only two that seem standard:



AND ∧
OR ∨


I'm not sure about the other ones, if there is a preferred set of symbols, or ones that are used most often in papers and the like.










share|cite|improve this question









$endgroup$












  • $begingroup$
    They are all standard, and easily invoked in $LaTeX$.
    $endgroup$
    – David G. Stork
    Jan 11 at 6:19










  • $begingroup$
    The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
    $endgroup$
    – DanielV
    Jan 11 at 13:07










  • $begingroup$
    Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
    $endgroup$
    – Deusovi
    Jan 11 at 17:59












  • $begingroup$
    The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
    $endgroup$
    – Rob Arthan
    Jan 14 at 16:34














1












1








1





$begingroup$


There are these logic gates symbols, but I am looking for the more low-level math-like symbols such as those found here, but for all the logic operations. There doesn't seem to be a central place for them, but these seem close.



I would like to know if from your perspective those are the standard symbols, or if there are others.



AND ∧
OR ∨
XOR ⊻
XNOR ↔
NAND ↑
NOR ↓
NOT ¬


These are the only two that seem standard:



AND ∧
OR ∨


I'm not sure about the other ones, if there is a preferred set of symbols, or ones that are used most often in papers and the like.










share|cite|improve this question









$endgroup$




There are these logic gates symbols, but I am looking for the more low-level math-like symbols such as those found here, but for all the logic operations. There doesn't seem to be a central place for them, but these seem close.



I would like to know if from your perspective those are the standard symbols, or if there are others.



AND ∧
OR ∨
XOR ⊻
XNOR ↔
NAND ↑
NOR ↓
NOT ¬


These are the only two that seem standard:



AND ∧
OR ∨


I'm not sure about the other ones, if there is a preferred set of symbols, or ones that are used most often in papers and the like.







logic notation






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 11 at 6:10









Lance PollardLance Pollard

1,152723




1,152723












  • $begingroup$
    They are all standard, and easily invoked in $LaTeX$.
    $endgroup$
    – David G. Stork
    Jan 11 at 6:19










  • $begingroup$
    The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
    $endgroup$
    – DanielV
    Jan 11 at 13:07










  • $begingroup$
    Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
    $endgroup$
    – Deusovi
    Jan 11 at 17:59












  • $begingroup$
    The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
    $endgroup$
    – Rob Arthan
    Jan 14 at 16:34


















  • $begingroup$
    They are all standard, and easily invoked in $LaTeX$.
    $endgroup$
    – David G. Stork
    Jan 11 at 6:19










  • $begingroup$
    The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
    $endgroup$
    – DanielV
    Jan 11 at 13:07










  • $begingroup$
    Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
    $endgroup$
    – Deusovi
    Jan 11 at 17:59












  • $begingroup$
    The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
    $endgroup$
    – Rob Arthan
    Jan 14 at 16:34
















$begingroup$
They are all standard, and easily invoked in $LaTeX$.
$endgroup$
– David G. Stork
Jan 11 at 6:19




$begingroup$
They are all standard, and easily invoked in $LaTeX$.
$endgroup$
– David G. Stork
Jan 11 at 6:19












$begingroup$
The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
$endgroup$
– DanielV
Jan 11 at 13:07




$begingroup$
The table for gates isn't entirely correct, it is quite common to make, for example, a Nor gate by putting circles on the inputs of an And gate, that is in fact the whole point of the symbolic notation.
$endgroup$
– DanielV
Jan 11 at 13:07












$begingroup$
Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
$endgroup$
– Deusovi
Jan 11 at 17:59






$begingroup$
Yes, these are relatively standard; you may also see $barwedge$ and $overline{vee}$ for NAND and NOR, and $oplus$ and $overline{oplus}$ for XOR and XNOR.
$endgroup$
– Deusovi
Jan 11 at 17:59














$begingroup$
The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
$endgroup$
– Rob Arthan
Jan 14 at 16:34




$begingroup$
The de facto standard for papers is to use $LaTeX$ (often together with packages like $mathtt{amssymb}$). If you use $LaTeX$, you don't need to know about Unicode. MathML defines a standard for mathematical content on the Web and includes definitions of a standard set of XML entities for mathematics and associated Unicode code points. MathJax which is used to enter and render mathematics on MSE uses MathML (and the $LaTeX$ interface supports a useful subset of the MathML entities).
$endgroup$
– Rob Arthan
Jan 14 at 16:34










0






active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069526%2fstandard-unicode-symbols-for-logic-operations%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3069526%2fstandard-unicode-symbols-for-logic-operations%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Mario Kart Wii

What does “Dominus providebit” mean?

Antonio Litta Visconti Arese