«لغت نامه دهخدا»
[اَ] (ع اِ) جِ اضحوکه، بمعنی مایهء خنده و آنچه بدان بخندند. (از اقرب الموارد). رجوع به اضحوکه شود.