compiled with latex