def raise_diacritic(some_diacritic: str) -> str:
	"""
	When given a diacritic that goes below,
	replaces it with one that goes below, and
	has the same meaning;
	otherwise it does nothing.
	"""
	if some_diacritic == "̥":
		return "̊"
	else:
		return some_diacritic