<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="auto">Really, there's no standardized notation for it. Just be consistent and use the most aesthetically pleasing and practical notation on your context. Maybe := looks ugly will your fonts. Use an other notation instead.</div>
</body>
</html>