julia
REPL/latex_symbols: define commands for « and »
#50399
Merged

REPL/latex_symbols: define commands for « and » #50399

SeSodesa
SeSodesa REPL/latex_symbols: define commands for « and »
5c2ae3c8
stevengj
stevengj stevengj added REPL
stevengj stevengj added unicode
SeSodesa
SeSodesa REPL/latex_symbols: change commands for « and »
459f00c2
stevengj
stevengj commented on 2023-07-03
stevengj Update stdlib/REPL/src/latex_symbols.jl
889c2e3d
stevengj
stevengj approved these changes on 2023-07-03
stevengj stevengj added merge me
stevengj
vtjnash vtjnash merged fcb31107 into master 2 years ago
brenhinkeller brenhinkeller removed merge me

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone