SIMBAD query result

Please have a look at the "Dictionary of Nomenclature"

Result of query: info cati VHS J1256-1257b

.

 [Class]      Acronym  (Explanation)   . . . . . . . . . in Simbad, use:
 [NearIR]     VHS (VISTA Hemisphere Survey)  . . . . =E= VHS JHHMM+DDMMa
                                                      or VHS JHHMMSS.ss+DDMMSS.s
=E= indicates catalogues available in electronic form at CDS