Что это за синтаксис внутри html [[${...}]]?

Извините за странную формулировку вопроса, просто я не знаю как это описать.

У меня есть Java Spring проект с использованием Spring Security. В этой кнопке <a class="btn btn-outline-primary" href="/login">[[${#httpServletRequest.remoteUser}]]</a> высвечивается имя пользователя, который авторизовался (spring security). Если пользователь не вошел, тогда [[${#httpServletRequest.remoteUser}]] будет возвращать пустую строку "". Объясните, пожалуйста:

1. Что это за синтаксис такой [[${}]] - это синтаксис Spring`а, Java или ThymeLeaf?
2. Как изменить эту строчку так, чтобы, если пользователь не авторизовался, то в кнопке высвечивалась не пустая строка, а какая-нибудь определенная, например "Sign in". То есть мне нужно что-то вроде if-else в html.