TeX source:

6⋅7=42