fix bug that \cap is not highlighted