• MKmacros – קובץ מאקרוז עבור מסמכים בעברית
  • MKen_macros – קובץ מאקרוז עבור מסמכים באנגלית
  • Hebrew Fixes – תיקון תקלות הקשורות לכתיבה בעברית
  • Longarrows Fix – תיקון השבירה של החיצים הארוכים והמודגשים "⟹" ו-"⟸"
  • Filled QED – שינוי הריבוע שבסוף הוכחה לריבוע מלא
  • TCA Style – עיצוב הסיכומים שבאתר אקסיומת השלמות (The Completeness Axiom)