
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">


In our community, definitions are introduced with <font face="Monaco" class="">\doteq</font> <span class="strut" style="box-sizing: border-box; display: inline-block; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: KaTeX_Main; font-size: 25.40999984741211px; white-space: nowrap; height: 0.67em;"></span><span class="strut bottom" style="box-sizing: border-box; display: inline-block; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: KaTeX_Main; font-size: 25.40999984741211px; white-space: nowrap; height: 0.67em; vertical-align: 0em;"></span><span class="base uncramped textstyle" style="box-sizing: border-box; display: inline-block; caret-color: rgb(51, 51, 51); color: rgb(51, 51, 51); font-family: KaTeX_Main; font-size: 25.40999984741211px; white-space: nowrap;"><span class="mrel" style="box-sizing: border-box;">≐</span></span>


<div class="">--e.</div>


</body>


</html>