Skip to content

replace LaTeX \bot with actual ⊥ symbol#17088

Closed
benjaminp wants to merge 1 commit into
rust-lang:masterfrom
benjaminp:fix-bottom
Closed

replace LaTeX \bot with actual ⊥ symbol#17088
benjaminp wants to merge 1 commit into
rust-lang:masterfrom
benjaminp:fix-bottom

replace LaTeX \bot with actual ⊥ symbol

e8c5825
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs