Mathjax Tutorial (Typeset Logic Neatly So That People Read Your Posts)
This forum has Mathjax support. Mathjax is a typesetting tool for mathematics.
It turns
(x)=(x/(n+1))*arctan(x*sqrt(sum_{i=1}^{\infty} \lambda_i)) into:
[math]\frac{x}{n+1}\text{arctan}(x*\sqrt(\sum_{i=1}^{\infty} \lambda_i)[/math]
through
or
Ex(~(x=y)&F(x))|-Ax(Px<=>Fx)
into
[math]\begin{align}\exists x (\neg(x=y)\wedge F(x))\implies \forall x (Px \Leftrightarrow Fx)\end{align}[/math]
through
To use Mathjax in a post, all you need to do is use to 'math' environment. This can be summoned by
Useful logical symbols are:
logical conjunction: [math]\wedge[/math] is
logical disjunction: [math]\vee[/math] is
negation: [math]\neg[/math] is
existential quantifier: [math]\exists[/math] is
universal quantifier: [math]\forall[/math] is
forward implication: [math]\Rightarrow[/math] is
backward implication: [math]\Leftarrow[/math] is
biconditional [math]\Leftrightarrow[/math] is
see here for a long list, the far right column's 'Latex' symbols usually work
Useful mathematical symbols are
subset: [math]\subset[/math] is
superset [math]\supset[/math]
belongs to [math]\in[/math]
fractions: [math]\frac{x}{y}[/math] is
subscripts and superscripts: [math]x_1 ^2[/math] is
prime: [math]\prime[/math] is
sigma notation: [math]\sum_{i=1}^{i=n}[/math] is
note that you can bracket an expression with {} and Mathjax will treat it as a single expression in the intended place, whereas without {} it will usually treat what you write as two expressions. EG, if you want to obtain [math]x^{21}[/math], you write
limits: [math]\lim_{n\rightarrow\infty}[/math] is
you can write matrices or vectors using the \bmatrix environment
1 0
0 1
can be represented as
[math] \begin{bmatrix}1 & 0 \\ 0 & 1 \end{bmatrix} [/math]
which is given by
taking a new line is \\.
If you are presenting a mathematical expression not inline consider wrapping what you write with:
multi line derivations can be achieved by using \\ within the align environment.
You can make things a lot prettier than I have here with more effort, but hopefully people take notice and logic posts become more readable.
It turns
(x)=(x/(n+1))*arctan(x*sqrt(sum_{i=1}^{\infty} \lambda_i)) into:
[math]\frac{x}{n+1}\text{arctan}(x*\sqrt(\sum_{i=1}^{\infty} \lambda_i)[/math]
through
[math]\frac{x}{n+1}\text{arctan}(x*\sqrt(\sum_{i=1}^{\infty} \lambda_i)[/math]or
Ex(~(x=y)&F(x))|-Ax(Px<=>Fx)
into
[math]\begin{align}\exists x (\neg(x=y)\wedge F(x))\implies \forall x (Px \Leftrightarrow Fx)\end{align}[/math]
through
[math]\begin{align}\exists x (\neg(x=y)\wedge F(x))\implies \forall x (Px \Leftrightarrow Fx)\end{align}[/math]To use Mathjax in a post, all you need to do is use to 'math' environment. This can be summoned by
[math]...[/math]Useful logical symbols are:
logical conjunction: [math]\wedge[/math] is
[math]\wedge[/math]logical disjunction: [math]\vee[/math] is
[math]\vee[/math]negation: [math]\neg[/math] is
[math]\neg[/math]existential quantifier: [math]\exists[/math] is
[math]\exists[/math]universal quantifier: [math]\forall[/math] is
[math]\forall[/math]forward implication: [math]\Rightarrow[/math] is
[math]\Rightarrow[/math]backward implication: [math]\Leftarrow[/math] is
[math]\Leftarrow[/math]biconditional [math]\Leftrightarrow[/math] is
[math]\leftrightarrow[/math]see here for a long list, the far right column's 'Latex' symbols usually work
Useful mathematical symbols are
subset: [math]\subset[/math] is
[math]\subset[/math] superset [math]\supset[/math]
[math]\\supset[/math] belongs to [math]\in[/math]
[math]\in[/math] fractions: [math]\frac{x}{y}[/math] is
[math]\frac{x}{y}[/math]subscripts and superscripts: [math]x_1 ^2[/math] is
[math]x_1 ^2[/math]prime: [math]\prime[/math] is
[math]\prime[/math]sigma notation: [math]\sum_{i=1}^{i=n}[/math] is
[math]\sum_{i=1}^{i=n}[/math]note that you can bracket an expression with {} and Mathjax will treat it as a single expression in the intended place, whereas without {} it will usually treat what you write as two expressions. EG, if you want to obtain [math]x^{21}[/math], you write
[math]x^{21}[/math][math]x^21[/math]limits: [math]\lim_{n\rightarrow\infty}[/math] is
[math]\lim_{n\rightarrow\infty}[/math]you can write matrices or vectors using the \bmatrix environment
1 0
0 1
can be represented as
[math] \begin{bmatrix}1 & 0 \\ 0 & 1 \end{bmatrix} [/math]
which is given by
[math] \begin{bmatrix}1 & 0 \\ 0 & 1 \end{bmatrix} [/math]taking a new line is \\.
If you are presenting a mathematical expression not inline consider wrapping what you write with:
[math]\begin{align} ... \end{align}[/math]multi line derivations can be achieved by using \\ within the align environment.
You can make things a lot prettier than I have here with more effort, but hopefully people take notice and logic posts become more readable.
Comments (35)
Wasn't aware there's already a thread for it. I'll pin this one, thanks for including the reference.
\leftrightarrow for [math]\leftrightarrow[/math] instead of \Leftrightarrow for [math]\Leftrightarrow[/math]
Other signs I've found useful in logic are \vdash for [math]\vdash[/math]
\bigcup_{j=1}^n for [math]\bigcup_{j=1}^n [/math]
\bigcap_{j=1}^n for [math]\bigcap_{j=1}^n [/math]
\bigvee_{j=1}^n for [math]\bigvee_{j=1}^n [/math]
\bigwedge_{j=1}^n for [math]\bigwedge_{j=1}^n [/math]
[Math]x^{78}+2[/math]
Cool
[Math]\lim_{x\rightarrow\infty}\frac{1}{x}=0[/math]
It works!!! :starstruck: :starstruck: :starstruck:
[Math]\frac{1}{12}[/math]
edit (fdrake): \sum, it's a command.
Right-click on the math and select "Math Settings | Math Renderer | Plain Source" from the context menu. You will then see the text that goes between the [ math]...[ /math] delimiters. The default renderer is HTML-CSS.
2. [math]\therefore \frac{1}{0} > \infty[/math]
such that x = [math]\pm 1[/math]
[math]{\sqrt {ab \pm c} \over \sqrt{x/y}} \pm 1[/math]
[math]a \equiv b (mod m)[/math]
[math]\phi = [/math][math]\frac {1}{1 + \frac{1}{1 + \frac{1}{1 + ...}}}[/math]
[math]\sum_{i=1}^{\infty}[/math]
[math]{\sqrt {2 - 1/\sqrt {2}}}[/math]
[math] \exists (x)(Px ) \exists (y)( Py)(x=y)[/math]
It shoudl be
[math] \exists (x)(Px ) \exists ( y)( Py)(x=y)[/math]
It's
\exists (x)(Px ) \exists ( y)( Py)(x=y)
except without the space in ( y).
Removing that space gives (y).
Any other work arounds?
from https://thephilosophyforum.com/discussion/comment/766524
And what does it have to do with onigiri?
I use Mathtype and set cut/paste to accomodate Wikipedia, then replace "
In this example two empty spaces appear, between exists (x) and the other, exists (.). By closing the gaps one gets the proper symbols. I.e., exists(x) and exists(y).
Odd. Notice that ( ) with a y inside produces a thumbs up: (y)
Yeah, but why?
I gather the (y) gets processed before the math? Seems odd. Isn't spacing supposed to be irrelevant in Mathjax?
I imagine it's part of how plushforums parses the math environment.
test:
Seems to be just the math environment which has the weird parsing issue. Odd.
test2: [math]:up:[/math] =
[math]:sparkle:[/math] =
Edit: yes, it's substituting in whatever class would be replaced with the emoji as a text string within the math environment. Plushforums issue with mathjax.
Good.
@Jamal, worth feedback to Plushforums?
Quoting Banno
I fed "rice ball sparkle" into the OpenAI playground and got back
There's a notable absence of any mention of rice.
But RiceBallRiceBallUp produced