diff -r 56781ad291cf -r e00950ba4514 thys2/Journal/Lexer.tex