Single-valued branching means that you need to find two one-to-one functional relationships, and you take this function according to x >; 0 and x

Okay, I'll read Ibrahimovic Si Long. Lowercase d means difference, such as dy/dx. You can think of it as the differential of y to X.