Example 13 : The positive square root of a number x is denoted by __________.