def lte(x, y):
	"""Creates an SMTLIB less than or equal to statement formatted string

	Parameters
		----------
		x, y: float 
			First and second numerical arguments to include in the expression 
	""" 
	return "(<= " + x + " " + y + ")"