Толковый словарь Ефремовой
союз
Употребляется при соединении частей сложноподчиненного предложения, в котором предположительно-допустимое условие придаточной части противопоставляется реально существующему действию или явлению главной части.
Хоть бы... а то в энциклопедиях
союз
Употребляется при соединении частей сложноподчиненного предложения, в котором предположительно-допустимое условие придаточной части противопоставляется реально существующему действию или явлению главной части.