MikeInnes

# Repeat an operation n times, e.g.
# @dotimes 100 println("hi")

macro dotimes(n, body)
  quote
    for i = 1:$(esc(n))
      $(esc(body))
    end
  end
end

beniwohli

# original XML at http://www.w3.org/Math/characters/unicode.xml
# XSL for conversion: https://gist.github.com/798546


unicode_to_latex = {
    u"\u0020": "\\space ",
    u"\u0023": "\\#",
    u"\u0024": "\\textdollar ",
    u"\u0025": "\\%",
    u"\u0026": "\\&",