# Math formatting test

**URL:** <https://boards.straightdope.com/t/math-formatting-test/833386>\
**Category:** About This Message Board\
**Created:** [May 2, 2019, 8:36pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386 "2019-05-02T20:36:20Z")\
**Posts on this page:** 20\
**Page:** 1

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 2, 2019, 8:36pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/1 "2019-05-02T20:36:20Z")

</div>

2 [SUP]1[/SUP]/[SUB]2[/SUB]

[NOPARSE]2 [SUP]1[/SUP]/[SUB]2[/SUB][/NOPARSE]

1[SUP]2[SUP]3[SUP]4[/SUP][/SUP][/SUP]

[NOPARSE]1[SUP]2[SUP]3[SUP]4[/SUP][/SUP][/SUP][/NOPARSE]

1234  
────  
5678

[NOPARSE]  
1234  
────  
5678  
[/NOPARSE]

```php

3x x
-- = -
15 5

```

[SPOILER][NOPARSE]

```php

3x x
-- = -
15 5

```

[/NOPARSE][/SPOILER]

_s_ = ( **v** [SUB]x[/SUB][SUP]2[/SUP]+ **v** [SUB]y[/SUB][SUP]2[/SUP])[SUP]0.5[/SUP]

[NOPARSE]_s_ = ( **v** [SUB]x[/SUB][SUP]2[/SUP]+ **v** [SUB]y[/SUB][SUP]2[/SUP])[SUP]0.5[/SUP][/NOPARSE]

Still trying to work out how to put a fraction with formatting on the non-leftmost term in a statement. Also for some reason [NOPARSE]

```auto

```

[/NOPARSE] tags don’t preserve line breaks, while [NOPARSE]

```php

```

[/NOPARSE] does.

~Max

---

<div class="post-metadata">

**Author:** ![TroutMan](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/troutman/32/6721_2.png) [@TroutMan](https://boards.straightdope.com/u/TroutMan)\
**Post date:** [May 3, 2019, 3:33pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/2 "2019-05-03T15:33:14Z")

</div>

> [@Max\_S](#):
>
> Also for some reason [NOPARSE]
> 
> ```auto
> 
> ```
> 
> [/NOPARSE] tags don’t preserve line breaks, while [NOPARSE]
> 
> ```php
> 
> ```
> 
> [/NOPARSE] does.

The problem with CODE tags is a bug in the new theme.

---

<div class="post-metadata">

**Author:** ![kopek](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/kopek/32/337_2.png) [@kopek](https://boards.straightdope.com/u/kopek)\
**Post date:** [May 3, 2019, 3:56pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/3 "2019-05-03T15:56:29Z")

</div>

42

(well it just needed said 🙂 )

---

<div class="post-metadata">

**Author:** ![septimus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/septimus/32/410_2.png) [@septimus](https://boards.straightdope.com/u/septimus)\
**Post date:** [May 3, 2019, 6:56pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/4 "2019-05-03T18:56:13Z")

</div>

> [@Max\_S](#):
>
> Also for some reason [NOPARSE]
> 
> ```auto
> 
> ```
> 
> [/NOPARSE] tags don’t preserve line breaks, while [NOPARSE]
> 
> ```php
> 
> ```
> 
> [/NOPARSE] does.

The PHP tags mangle a lot of other stuff. CODE works fine, as long as the reader disables SultanBugs in the menu at the lower left of an SDMB page.

**BigT** has submitted a fix for the SultanBugs/CODE bug that could be _implemented in less than a minute_. Assuming the SDMB consultant charges $600 per hour, that’s $10. I’ll contribute $2; can we get 16 other Dopers to contribute 50¢ each?

---

<div class="post-metadata">

**Author:** ![BigT](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/bigt/32/12044_2.png) [@BigT](https://boards.straightdope.com/u/BigT)\
**Post date:** [May 3, 2019, 8:14pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/5 "2019-05-03T20:14:06Z")

</div>

Huh. It very much surprises me that font=“monospace” works. I could have sworn I’d tried it before, and the HTML font tags wouldn’t do fallback fonts. (Monospace isn’t actually a font, but a fallback to whatever is the default monospace font is in your browser/OS.)

Cool. I will use that anytime I need monospace from now on, instead of specifying a specific font. Heck, I wonder if I could work out a way to add monspace, serif, and sans-serif to the font dropdown box.

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [May 4, 2019, 2:37am UTC](https://boards.straightdope.com/t/math-formatting-test/833386/6 "2019-05-04T02:37:16Z")

</div>

Maybe one day we’ll get L[sup]A[/sup]T[sub]E[/sub]X support. Eh, who am I kidding?

---

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 6, 2019, 3:26pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/7 "2019-05-06T15:26:28Z")

</div>

```auto

               2*a xπ*
*saw(x,a,p)* = - ── arctan ( cot ( ── ) )
               *π p*

```

[SPOILER][NOPARSE]

```auto

               2*a xπ*
*saw(x,a,p)* = - ── arctan ( cot ( ── ) )
               *π p*

```

[/NOPARSE][/SPOILER]

Thanks, this works much better after switching to the theme “Straight Dope 3.7.3”.

~Max

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [May 6, 2019, 3:53pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/8 "2019-05-06T15:53:43Z")

</div>

Nothing online really supports L[sup]A[/sup]T[sub]E[/sub]X. Some sites have a MathML add-on that can take it as input, but the only way to deliver it to a browser is for the site to convert it to an image, which is sub-optimal. So far as I know, no browser supports MathML or L[sup]A[/sup]T[sub]E[/sub]X natively.

---

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [May 6, 2019, 4:07pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/9 "2019-05-06T16:07:02Z")

</div>

> [@Chronos](#):
>
> Nothing online really supports L[sup]A[/sup]T[sub]E[/sub]X. Some sites have a MathML add-on that can take it as input, but the only way to deliver it to a browser is for the site to convert it to an image, which is sub-optimal. So far as I know, no browser supports MathML or L[sup]A[/sup]T[sub]E[/sub]X natively.

You mean that MathJax plugin? It [works](https://docs.mathjax.org/en/latest/misc/browser-compatibility.html) [OK](https://docs.mathjax.org/en/latest/output.html) if you have Javascript enabled and your browser isn’t too old.

---

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 6, 2019, 4:23pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/10 "2019-05-06T16:23:57Z")

</div>

> [@Dr.Strangelove](#):
>
> Maybe one day we’ll get L[sup]A[/sup]T[sub]E[/sub]X support. Eh, who am I kidding?

Never heard of L[SUP]A[/SUP]T[SUB]E[/SUB]X before, but I imagine you can convert that to formatted plaintext\* and then copy the output into [NOPARSE]

```auto

```

[/NOPARSE] tags.

A quick search found a program called _[dvitty](https://ctan.org/tex-archive/dviware/dvitty)_[1] from 1986, although I haven’t tested it since I run Windows and don’t feel like porting.

\*Not an oxymoron, I swear! Monospaced plaintext with special characters.

~Max

[1] CTAN: /tex-archive/dviware/dvitty. (n.d.). Comprehensive T[SUB]E[/SUB]X Network. Retrieved from [CTAN: /tex-archive/dviware/dvitty](https://ctan.org/tex-archive/dviware/dvitty)

---

<div class="post-metadata">

**Author:** ![Topologist](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/topologist/32/3208_2.png) [@Topologist](https://boards.straightdope.com/u/Topologist)\
**Post date:** [May 6, 2019, 4:45pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/11 "2019-05-06T16:45:12Z")

</div>

Firefox does a pretty decent job of supporting MathML natively. A colleague and I are working on an online textbook that uses some custom Javascript to convert (a large subset of) LaTeX to MathML on the fly and the results are good in Firefox. For other browsers we have to use other solutions.

---

<div class="post-metadata">

**Author:** ![DPRK](https://avatars.discourse-cdn.com/v4/letter/d/4491bb/32.png) [@DPRK](https://boards.straightdope.com/u/DPRK)\
**Post date:** [May 6, 2019, 5:04pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/12 "2019-05-06T17:04:36Z")

</div>

> [@Max\_S](#):
>
> Never heard of L[SUP]A[/SUP]T[SUB]E[/SUB]X before, but I imagine you can convert that to formatted plaintext\* and then copy the output into [NOPARSE]
> 
> ```auto
> 
> ```
> 
> [/NOPARSE] tags.
> 
> A quick search found a program called _[dvitty](https://ctan.org/tex-archive/dviware/dvitty)_[1] from 1986, although I haven’t tested it since I run Windows and don’t feel like porting.
> 
> \*Not an oxymoron, I swear! Monospaced plaintext with special characters.
> 
> ~Max
> 
> [1] CTAN: /tex-archive/dviware/dvitty. (n.d.). Comprehensive T[SUB]E[/SUB]X Network. Retrieved from [CTAN: /tex-archive/dviware/dvitty](https://ctan.org/tex-archive/dviware/dvitty)

That’s not going to do what you think it will. I don’t know what you are trying to type in, but just pretend it’s 1965 and all you have is a monospace typewriter.

---

<div class="post-metadata">

**Author:** ![septimus](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/septimus/32/410_2.png) [@septimus](https://boards.straightdope.com/u/septimus)\
**Post date:** [May 6, 2019, 7:00pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/13 "2019-05-06T19:00:46Z")

</div>

∅∉S ⇒ ∃f : ∀c∈S, f©∈c

---

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 6, 2019, 7:06pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/14 "2019-05-06T19:06:52Z")

</div>

> [@DPRK](#):
>
> That’s not going to do what you think it will. I don’t know what you are trying to type in, but just pretend it’s 1965 and all you have is a monospace typewriter.

Sort of like [NOPARSE]

```auto

```

[/NOPARSE] tags, yeah? ASCII art in spoiler, which although tedious would print just fine on a teletype or telex back in the day. Although you would have to split it into two pages or print it sideways.

```auto

MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMNdddddddddddddddddmMddddddmNddddddddddNMMMMMMMMMmdddddddddMMmddddddddddddddddddddddddMMMMMddddddddmMMNddddddNMMNdddddddddmMMMddddddmMddddddmddddddddddddmMMMMMMddddddddddddMMMMMNdddddddddNMMMddddddddddddNMMmdddddddddMMMMMMMMMMMMM
MMMMMMMMMMMMm/////////////////yM//////om//////////mMMMMMMMh+//////////sNo///////:::::::::::::::::omMMN::::::::sMMm::::::mMd/-:::::::::yMM/:::::yN::::::o::::::::::::yMMMMMM::::::::::::+mMMd+::::://///sNM////////////+dM+/////////mMMMMMMMMMMMM
MMMMMMMMMMMMm/////////////////yM//////om/////////+mMMMMMMM/////////////o+///////////////////////::+NMd::::::::oMMm:::::/mm-:::::::::::/hM/:::::hN::::::y:::::::::::/yMMMMMM::::::::::::/+Nm::://////////sM//////////////m+/////////mMMMMMMMMMMMM
MMMMMMMMMMMMm++//////+oo+/////yM//////om//////+ooomMMMMMMM//////++//////+oo+//////ooo/::::/++/::::/mMy::::::::/NMm:::::/mh-:::::+/:::::oM/:::::hN-:::::sooo::::::+oohMMMMMM:::::/++/::::/hy:::://++/////sM//////+o//////s+/////+oooNMMMMMMMMMMMM
MMMMMMMMMMMMMMh//////hMMo/////yM//////om//////yMMMMMMMMMMh://///ms//////mMM/:::::+MMh:::::/dm:::::/mMs::::::::/NMm-::::/mh-::::/Ms-::::sM/-::::hN--::::sMMM-:::::dMMMMMMMMM-::::/dm:::::/yy:::::/ds:////sM//////hMo/////s+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh:::///hMMo/////yM//////om//////yMMMMMMMMMMh://///Ms://///mMM::::::+MMh:::::/dm:::::/mM--::::::::hMm-::::/mh-::::/Mo-::::sM:-::::hN--::::sMMM--::::dMMMMMMMMM-::::/dd-::::/yy:::::/do::://sM/:////hMo/////s+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh:::::/hMMo/////yM//////om//////yMMMMMMMMMMh://///Ms:::::/mMM::::::+MMy:::::/dm-::::/mM:-::::::::hMm--::::mh-----+Mo-----sM:----:hN-----:sMMM-----:dMMMMMMMMM-:::::dd-:::::yy:::::/do::::/sM/:////hMo/////s+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh:::::/hMMo/////yM//////om//////yMMMMMMMMMMh://///Ms:::::/mMM::::::+MMy-::::/dm-::::/mM--::::::::+Mm-----:my-----/Mo-----sM:----:hN-----:sMMM.----:dMMMMMMMMM--::::dd-:::::yy-::::/do:::::sM/:////hMo/////s+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+/////sm://///om//////smmmMMMMMMMM/:////hdydddddNMM::::::+MMy-::::/dm-::::/mM--:::y-:::+Mm-----:my-----/MmhddddmM:----:hd.----:sMMM.----:dMMMMMMMMM--::::dd--::::yy-::::/do:::::sM/:////hMo/////s+/////hmmmMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+///////://///om://////::/dMMMMMMM///////:smMMMMMMM::::::+MMy-::::/hd-::::/mM--:::s-:::/mm-----:my-----/MMMMMMMMM:-----:..----:sMMM.----:dMMMMMMMMM--::::dd-:::::yy-::::/do:::::sM/:////hMo/////s+/////////mMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+:////////////om://///////mMMMMMMMdo//::::::+hNMMMMo:::::+MMy-::::::--::::oNy--::/y-::::dm-----:my-----/MMMMMMMMM:------------:sMMM.----:dMMMMMMMMM--::::dd-:::::yy:::::/do::::/sM/:////hMo/////s+/////////mMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+:::://///////om://///////mMMMMMMMMMmy+/::::::/mMMMs:::::+MMy-:::::::::::sNMy-:::+m:-:::dm-----:my-----/+//////oM:-----:::----:sMMM.----:dMMMMMMMMM--::::dd-:::::yy:::::/do::::/sM/:////yy//////s+////////+mMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+::::/sm/:////om://///sNNNMMMMMMMMMMMMMhs/:::::+NMMs:::::+MMy-::::::::::::sNo-:::yM--:-:hm-----:my-----:-------oM:----:ym:----:sMMM-----:dMMMMMMMMM--::::dd-:::::yy:::::/do::://sM/:////////////d+/////yNNNMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+:::::sM:::/:/+m://///yMMMMMMMMMMdooooooMs:::::/mMM/:::::+MMy-::::/yy/::::/m:-:::yM----:hm-----:my-----::------oM:----:hN-----:sMMM-----:dMMMMMMMMM--::::dd-:::::yy:::::/do::///sM/////////////oN+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::hMM+:::::sM:::::/+m::////yMMMMMMMMMMh:::::/Mo:::::/mMM::::::+MMy-::::/dm-:::::m:-:::ym----:+m-----:my-----/do-----oM:----:hN-----:sMMM-----:dMMMMMMMMM-:::::dd-::::/yy:::::/do:////sM//////+ooooshMM+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::yMM+:::::sM::::::+m:::::/yMMMMMMMMMMh:::::/Mo:::::/mMM::::::+MMy-::::/dm-:::::y.-::::------+m-----:my.----/Mo-----oM:----:hN-----:sMMM-----:dMMMMMMMMM-:::::dd-::::/yy:::::/do:////sM//////hMMMMMMMM+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::yMM+:::::sM::::::+m:::::/yMMMMMMMMMMh:::::/Mo:::::/mMM::::::+MMy-::::/dm-:::::s--:::::-----/h.----:my.----/Mo-----oM:----:hN-----:sMMM-----:dMMMMMMMMM-:::::dd-::::/yy:::::/do:////sM//////hMMMMMMMM+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh::::::yMM+:::::sM::::::+m:::::/sMMMMMMMMMMh:::::/Mo:::::/mMM::::::+MMy-::::/dm-:::::s--:::///:---:y-----:my.----/Mo-----oM:----:hN-----:sMMM-----:dMMMMMMMMM-::::/dd-::::/yy:::://do:////sM//////hMMMMMMMM+/////hMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh-:::::yMM+:::::sM::::::+m::::::sMMMMMMMMMMh::::::mo:::::/mMM::::::+MMy-::::/dm-:::::--:::/NM+----:o-----:my.----/Mo-----oM:----:hN-----:sMMM-----:dMMMMMMMMM-::::/dd:::::/yy://///do/////sM//////hMMMMMMMM+/////yMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMh---:::yMM+:::::sM::::::+m::::::////mMMMMMMN::::::/::::::/mMM::::::+MMy-::::/dm-::::::-:::+NMs-----:-----:my.----:/.-----oM:----:hN-----:sMMM----::dMMMMMMMMM-::::/o--::::/hy://///+//////sM//////hMMmddmMM+/////ooooNMMMMMMMMMMMM
MMMMMMMMMMMMMMh------yMM+:::::sM::::::+m:::::::::/dMMMMMMM/::::::::::::oMMM::::::+MMy-::::/dm--:::::-:::+NMs-----:-----:md:---------:--oM:----:hN-----:sMMM--::::dMMMMMMMMM:::::::::////+Nd/////////////yM//////hMsho+dsM+////////+mMMMMMMMMMMMM
MMMMMMMMMMMMMMh------yMM+:::::sM::::::+m:::::::::/dMMMMMMMh+/::::::::/oNMMM::::::+MMy-::::/dm-::::::::::/NMs-----------:mMy/::---:/yd:-sM:----:hN---:::sMMM-:::::dMMMMMMMMM::::////////+mMMh+/////////+yNM//////hMdyssodM+/++++++++mMMMMMMMMMMMM
MMMMMMMMMMMMMMmsyyyyymMMhyyyyydMyyyyyyhNyyyyyyyyyyNMMMMMMMMMmhhhhhhhhmMMMMMhyhhhhhMMmyhhhhhmNyhhhhhhhhhhdMMdyhhhhhhhhhhhNMMMmhhhhdNMMyhdMyhhhhhmMshhhhhdMMMyhhhhhNMMMMMMMMMyhhhhhhhhhhdNMMMMMmhhhhhhhdNMMMhhhhhhmMMMNNMMMhhhhhhhhhhNMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM

```

~Max

---

<div class="post-metadata">

**Author:** ![Skywatcher](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/skywatcher/32/254_2.png) [@Skywatcher](https://boards.straightdope.com/u/Skywatcher)\
**Post date:** [May 6, 2019, 7:10pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/15 "2019-05-06T19:10:33Z")

</div>

> [@Max\_S](#):
>
> 2 [SUP]1[/SUP]/[SUB]2[/SUB]
> 
> [NOPARSE]2 [SUP]1[/SUP]/[SUB]2[/SUB][/NOPARSE]

Much easier to type 2½ (alt+0189 on the keypad if you’re a Windows user).

---

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 6, 2019, 7:17pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/16 "2019-05-06T19:17:47Z")

</div>

> [@Skywatcher](#):
>
> Much easier to type 2½ (alt+0189 on the keypad if you’re a Windows user).

Good point.

~Max

---

<div class="post-metadata">

**Author:** ![Skywatcher](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/skywatcher/32/254_2.png) [@Skywatcher](https://boards.straightdope.com/u/Skywatcher)\
**Post date:** [May 6, 2019, 7:18pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/17 "2019-05-06T19:18:41Z")

</div>

⅓ ⅔ ⅛ ⅜ ⅝ ⅞

No direct access to those but they can be copied from the Character Map.

Thirds and eighths in case only boxes show for anyone.

---

<div class="post-metadata">

**Author:** ![Max\_S](https://avatars.discourse-cdn.com/v4/letter/m/46a35a/32.png) [@Max\_S](https://boards.straightdope.com/u/Max_S)\
**Post date:** [May 15, 2019, 4:30am UTC](https://boards.straightdope.com/t/math-formatting-test/833386/18 "2019-05-15T04:30:10Z")

</div>

Unicode

```auto

       _________________
      / 1 2[SUP]3[/SUP]⎛ 3⎞²
σ = / ─ · **Σ** ⎜X[SUB]*i*[/SUB] - ─⎟ 
    √ 2[SUP]3[/SUP] *i*=1⎝ 2⎠ 

```

```auto

[NOPARSE]

```

```
   _________________
  / 1 2[SUP]3[/SUP]⎛ 3⎞²

```

σ = / ─ · **Σ** ⎜X[SUB]_i_[/SUB] - ─⎟  
√ 2[SUP]3[/SUP] _i_=1⎝ 2⎠

```auto

[/NOPARSE]

```

ASCII

```auto

       _________________
      / 1 2[SUP]3[/SUP] 3  
σ = / ─ · **Σ** (X[SUB]*i*[/SUB] - ─)²
    √ 2[SUP]3[/SUP] *i*=1 2  

```

```auto

[NOPARSE]

```

```
   _________________
  / 1 2[SUP]3[/SUP] 3  

```

σ = / ─ · **Σ** (X[SUB]_i_[/SUB] - ─)²  
√ 2[SUP]3[/SUP] _i_=1 2 [/CODE[/NOPARSE]

```auto

```

---

<div class="post-metadata">

**Author:** ![Dr.Strangelove](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/dr.strangelove/32/6613_2.png) [@Dr.Strangelove](https://boards.straightdope.com/u/Dr.Strangelove)\
**Post date:** [May 15, 2019, 6:03am UTC](https://boards.straightdope.com/t/math-formatting-test/833386/19 "2019-05-15T06:03:14Z")

</div>

> [@septimus](#):
>
> ∅∉S ⇒ ∃f : ∀c∈S, f(c)∈c

I had to read this like a dozen times over the course of several days before realizing it was the Axiom of Choice. Even to the point of understanding the meaning and thinking “eh, that doesn’t look right to me, but maybe.” Eventually it clicked.

Except for sets containing empty sets, there must be a function that we can apply to each member set that picks an element of that member. Or not, as the case may be.

Are there any proofs that require the AoC to be false? Not just failing to assert its truth, of course, but requiring that there is at least one **S** that cannot have an f?

---

<div class="post-metadata">

**Author:** ![Bullitt](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/bullitt/32/5725_2.png) [@Bullitt](https://boards.straightdope.com/u/Bullitt)\
**Post date:** [May 16, 2019, 12:31pm UTC](https://boards.straightdope.com/t/math-formatting-test/833386/20 "2019-05-16T12:31:41Z")

</div>

> [@Skywatcher](#):
>
> ⅓ ⅔ ⅛ ⅜ ⅝ ⅞
> 
> No direct access to those but they can be copied from the Character Map.
> 
> Thirds and eighths in case only boxes show for anyone.

More from the character map:

↉  
½ ⅓ ¼ ⅕ ⅙ ⅐ ⅛ ⅑ ⅒  
⅔ ⅖  
¾ ⅗ ⅜  
⅘  
⅚ ⅝  
⅞

[Next page](https://boards.straightdope.com/t/math-formatting-test/833386.md?page=2)