input a bit explanation for SyncTeX