chagnge tex style
Merge branch 'usami' of https://github.com/nichiyoubi/temporal_logic_ml into usami
add exposition of source code