> 2016-11-23 14:04 GMT+01:00 Uwe Brauer <o...@mat.ucm.es>: > I created a new style file for the amsfonts package providing the > feature you asked. Thanks.
Thank you for the fast reply and fix. Uwe _______________________________________________ auctex-devel mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel