TeX source:
B\implies A