Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

$\bot$ appears in the reference manual: math mode is broken #15285

Closed
nathantypanski opened this issue Jun 30, 2014 · 2 comments
Closed

$\bot$ appears in the reference manual: math mode is broken #15285

nathantypanski opened this issue Jun 30, 2014 · 2 comments

Comments

@nathantypanski
Copy link
Contributor

We call such functions "diverging" because they never return a value to the caller. Every control path in a diverging function must end with a fail!() or a call to another diverging function on every control path. The ! annotation does not denote a type. Rather, the result type of a diverging function is a special type called $\bot$ ("bottom") that unifies with any type. Rust has no syntax for $\bot$.

Presumably this should be the up tack (⊥) LaTeX symbol, and the math Javascript or whatever normally does the rendering is not working.
@huonw
Copy link
Member

huonw commented Jun 30, 2014

cc #15216

@steveklabnik
Copy link
Member

Yes, that PR should fix this. I'm testing the new iteration now.

@steveklabnik steveklabnik mentioned this issue Aug 6, 2014
Closed
@Gankra Gankra mentioned this issue Sep 4, 2014
Closed
@huonw huonw mentioned this issue Sep 8, 2014
Closed
@steveklabnik steveklabnik mentioned this issue Dec 19, 2014
Merged
@bors bors closed this as completed in 4ee73a1 Jan 6, 2015
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@th0114nd @Manishearth
Changed LaTex $\bot$s to ⊥
a6ca77f 
In the HTML version of the documentation, it isn't rendered so might as well use the unicode representation.
Part of the problem was that putting a math unicode character wasn't
rendering properly in the pdf, so extra steps were needed to define
the unicode charecter ⊥ in reference.tex

closes rust-lang#15285
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@steveklabnik @huonw @nathantypanski