Comparison: Difference between revisions

Content added Content deleted

Inline

Revision as of 07:52, 15 July 2021 (edit) Razetime (talk \| contribs) (add equal primitive) ← Older edit		Revision as of 07:53, 15 July 2021 (edit) (undo) Razetime (talk \| contribs) (add equal sign to primitive infobox) Tag: Visual edit: Switched Newer edit →
Line 1:		Line 1:
	{{primitive\|x<y<br>x>y}}		{{primitive\|x<y<br>x>y<br>x=y}}

	The comparison primitives in K are <code><</code>, <code>></code> and <code>=</code> which stand for lesser than, greater than and equal to respectively.		The comparison primitives in K are <code><</code>, <code>></code> and <code>=</code> which stand for lesser than, greater than and equal to respectively.