That f being invertible, if f, which is a mapping from x to y is invertible, this is true if and only if, and we could write that either as a two-way arrow. Or we could write if for if and only if so both of these statements imply each other.