Skip to content

Commit a6ca77f

Browse files
th0114ndManishearth
authored andcommitted
Changed LaTex $\bot$s to ⊥
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
1 parent 5dc4884 commit a6ca77f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

reference.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1259,8 +1259,8 @@ We call such functions "diverging" because they never return a value to the
12591259
caller. Every control path in a diverging function must end with a `panic!()` or
12601260
a call to another diverging function on every control path. The `!` annotation
12611261
does *not* denote a type. Rather, the result type of a diverging function is a
1262-
special type called $\bot$ ("bottom") that unifies with any type. Rust has no
1263-
syntax for $\bot$.
1262+
special type called ("bottom") that unifies with any type. Rust has no
1263+
syntax for .
12641264

12651265
It might be necessary to declare a diverging function because as mentioned
12661266
previously, the typechecker checks that every control path in a function ends

0 commit comments

Comments
 (0)