julia
remove unnecessary `\up` (upright) from some latex abbrevs (e.g. \upMu -> \Mu)
#50925

Merged

remove unnecessary `\up` (upright) from some latex abbrevs (e.g. \upMu -> \Mu) #50925

giordano merged 1 commit into master from stevengj-patch-3

stevengj added REPL

JeffBezanson approved these changes on 2023-08-15

rationalize some latex abbrevs (e.g. \upMu -> \Mu)

7d6b73e7

stevengj force pushed from 1a113d5d to 7d6b73e7 2 years ago

stevengj added merge me

giordano merged 5e4e7fa1 into master 2 years ago

giordano deleted the stevengj-patch-3 branch 2 years ago

giordano removed merge me

Reviewers

JeffBezanson

Assignees

No one assigned

Labels

REPL

Milestone

No milestone