That's definitely true, though I'm not working on this any more, and I think its current state may be kind of half-baked. If you're curious anyway, here's an example from some of my class notes:
** alphabets and languages
- Defs
- Alphabet :: finite set of symbols to make strings with STUDY{[2016-03-07 Mon],36,3.00}
- language :: a subset L \in \Sigma* STUDY{[2016-03-19 Sat],34,2.00}
- Assume a finite _alphabet_ set \Sigma
- ex. Unicode, {0, 1, 2, ... 9}, {a, b}, {0, 1}
- Let \Sigma^k be [the set of all strings of length k built using the symbols of \Sigma]STUDY{[2016-03-07 Mon],36,3.00}
- Let \Sigma* be [all strings made of symbols in \Sigma]STUDY{[2016-03-07 Mon],36,3.00}
The STUDY{...} elements record scheduling information and mark the location of flashcards. They hide selected parts of the buffer (determined by context) when they are up for review, and you can use org-study-review to study them as flashcards.
That's definitely true, though I'm not working on this any more, and I think its current state may be kind of half-baked. If you're curious anyway, here's an example from some of my class notes:
The STUDY{...} elements record scheduling information and mark the location of flashcards. They hide selected parts of the buffer (determined by context) when they are up for review, and you can use org-study-review to study them as flashcards.