3 ms·
Sure, here is a link to an example [1]. > Are you essentially solving the same question in two different ways? (forward proof, and backward proof) I'm talking
by edanm 8y ago
Sure, here is a link to an example [1].
> Are you essentially solving the same question in two different ways? (forward proof, and backward proof)
I'm talking of the standard "forwards and backwards" proof that you have to do to show two conditions equivalent.
I.e. if you have cond 1 iff cond 2, you need to both prove that cond 1 implies cond 2, and that cond 2 implies cond 1. (Or that not cond 1 implies not cond 2).
So it's often a similar proof, but not always.
[1]: https://imgur.com/wjPLlVb https://imgur.com/wjPLlVb
- Kagerjay 8y agoThis makes much more sense now thanks :) Last 2 questions just related to just formatting cards Does that render with inline-Latex on each card (e.g. are you using a latex anki plugin?) Do you use powerformat pack plugin https://ankiweb.net/shared/info/162313389 https://ankiweb.net/shared/info/162313389
- edanm 8y agoI'm using a method which allows you to use Mathjax inside of Anki. I'm not sure where the instructions are, but it involves creating custom note types with extra code that loads Mathjax. The good news is that the new Anki 2.1 which just came out has built-in Mathjax support, so if you're using that, you can just start using Mathjax. Note that the default Mathjax code is not $ and $$, but this is configurable (though if I were starting from scratch I'd probably just use the default).