Code

Add \bbsemi as a binary operator#34722

Code

Merged

JeffBezanson merged 9 commits intoJuliaLang:masterJuliaLang/julia:masterfrom tkf:fatsemitkf/julia:fatsemiCopy head branch name to clipboardFeb 20, 2020

+4-1

Commits

Commits on Feb 10, 2020

• Add \fatsemi to prec-times operator

  tkf

  committed
  a270a31

  Copy full SHA for a270a31

• Add \fatsemi to latex_symbols.jl

  tkf

  committed
  98d08ea

  Copy full SHA for 98d08ea

Commits on Feb 11, 2020

• Use U+2a3e instead of U+2a1f

  tkf

  committed
  9057b70

  Copy full SHA for 9057b70

• Add \bb; to latex_symbols.jl

  tkf

  committed
  37e239c

  Copy full SHA for 37e239c

• Add news

  tkf

  committed
  670f5d6

  Copy full SHA for 670f5d6

• Rename: \bb; -> \bbsemi

  tkf

  committed
  ceb093f

  Copy full SHA for ceb093f

Commits on Feb 12, 2020

• Tweak NEWS

  tkf

  committed
  7fed753

  Copy full SHA for 7fed753

• Use U+2a1f instead of U+2a3e

  tkf

  committed
  dcbfb4f

  Copy full SHA for dcbfb4f

• Remove \fatsemi

  tkf

  committed
  82d4528

  Copy full SHA for 82d4528