This is very nice. I recently tried creating a bunch of Anki flash cards for theorems in real analysis, but found it too tedious. Is there any support (current or planned) for converting latex fragments?