{"server":"detexify.oliviermarty.net","version":"0.0.3"}