A = _def Bっていうのは、A = Bという等式に、「この等式はAの定義」
というメタレベルの情報が付け加わったものじゃないの？