Skip to content

Instantly share code, notes, and snippets.

@iamed2
Created August 20, 2021 03:31
Show Gist options
  • Save iamed2/bdf2a4d000e87a50058406faec516539 to your computer and use it in GitHub Desktop.
Save iamed2/bdf2a4d000e87a50058406faec516539 to your computer and use it in GitHub Desktop.
Using Julia completions for LaTeX-like substitutions
julia --startup-file=no --history-file=no -e 'import REPL; print(
let SYMBOLS = REPL.REPLCompletions.latex_symbols
get(SYMBOLS, "\\\$(ARGS[1])") do
SYMBOLS["\\text$(ARGS[1])"]
end
end
)' Sigma
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment