I tried to write logic proof with rmarkdown, but the underscore always cause error stating that "! Missing $ inserted." which doesn\'t go away with $
$
