お尋ねしたいのですが、よく公式とか定義とかで、
式が四角く囲んであり、その枠の線上に重ねて「〜の定義」とか
描いてあるのですが、アレはどう表現すればよいのですか?