24 Feb
2007
24 Feb
'07
9:54 a.m.
On Sun, 14 Jan 2007, Oliver Buerschaper wrote:
Exactly!
Oliver
Do you mean something like 1 at the end of eq (23) page 4 (3231) at http://www.eecs.umich.edu/~adityam/publications/conferences/ cdc2006.pdf
Since I needed to use it in ConTeXt also, here is how to use it. http://wiki.contextgarden.net/Doublestroke I reused the mb family since I do not expect anyone to use double stroke with blackboard bold. Aditya