Definition:

cotan